Inhalt des Dokuments

Bachelor

Formal Modelling of Revision Control Systems

Montag, 24. Januar 2011

Betreuer/in: Eilers
Erstgutachter/in: Prof. Dr.-Ing. Nestmann
Zweitgutachter/in: Dr. Kammüller

Picker, Marten

Die Idee besteht darin einfachere und kompliziertere Systeme zur Versionskontrolle formal zu analysieen und einige ihrer Eigenschaften formal nachzuweisen.

---